Cofibrant objects among higher-dimensional categories
نویسندگان
چکیده
منابع مشابه
On the Cofibrant Generation of Model Categories
The paper studies the problem of the cofibrant generation of a model category. We prove that, assuming Vopěnka’s principle, every cofibrantly generated model category is Quillen equivalent to a combinatorial model category. We discuss cases where this result implies that the class of weak equivalences in a cofibrantly generated model category is accessibly embedded. We also prove a necessary co...
متن کاملRigid Objects in Higher Cluster Categories
We study maximal m-rigid objects in the m-cluster category C H associated with a finite dimensional hereditary algebra H with n nonisomorphic simple modules. We show that all maximal m-rigid objects in these categories have exactly n nonisomorphic indecomposable summands, and that any almost complete m-rigid object in C H has exactly m + 1 nonisomorphic complements. We also show that the maxima...
متن کاملGorenstein projective objects in Abelian categories
Let $mathcal {A}$ be an abelian category with enough projective objects and $mathcal {X}$ be a full subcategory of $mathcal {A}$. We define Gorenstein projective objects with respect to $mathcal {X}$ and $mathcal{Y}_{mathcal{X}}$, respectively, where $mathcal{Y}_{mathcal{X}}$=${ Yin Ch(mathcal {A})| Y$ is acyclic and $Z_{n}Yinmathcal{X}}$. We point out that under certain hypotheses, these two G...
متن کاملHigher Dimensional Categories: Model Categories and Weak Factorisation Systems
Loosely speaking, “homotopy theory” is a perspective which treats objects as equivalent if they have the same “shape” which, for a category theorist, occurs when there exists a certain class W of morphisms that one would like to invert, but which are not in fact isomorphisms. Model categories provide a setting in which one can do “abstract homotopy theory” in subjects far removed from the origi...
متن کاملCubical Categories for Higher-Dimensional Parametricity
Reynolds’ theory of relational parametricity formalizes parametric polymorphism for System F, thus capturing the idea that polymorphically typed System F programs always map related inputs to related results. This paper shows that Reynolds’ theory can be seen as the instantiation at dimension 1 of a theory of relational parametricity for System F that holds at all higher dimensions, including i...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Homology, Homotopy and Applications
سال: 2008
ISSN: 1532-0073,1532-0081
DOI: 10.4310/hha.2008.v10.n1.a7